<?php

require_once "Basic.php";

if(isset($_SESSION[SESSION_LOGIN])) {
  logout();
  header("Location: index.php");
}
else {
  $page = new Page("Logout");
  $page->addContent("<p>" . htmlentities("Você não está logado.") . "</p>");
  echo $page->getHtml();
}
